The Design of a Synthesis Tool for Interrupt-based Real Time Embedded Software

There is a general lack of CAD tools for real-time embedded software, thus we have developed a software synthesis tool with a graphical user interface for real-time embedded systems. We propose an Interrupt Time Petri Nets (ITPN) model for real-time embedded software requirements modeling. ITPN can handle both interrupt behavior and real-time constraints on tasks in a real-time embedded system. An Interrupt-Based Quasi-Dynamic Scheduling (IQDS) algorithm is proposed to find valid task schedules satisfying interrupt behavior specifications and real-time constraints in a real time embedded system. We use a Code Generation algorithm to produce 8051 micro-controller C program code. The graphical user interface makes our tool more user-friendly. This tool supports the Windows OS environment and can be used for system model input and easy setting of system parameters. Finally, we use two industrial examples to illustrate the correctness of our methodology and the increase in productivity provided by our real-time embedded software synthesis tool.